TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics

We consider the use of Quantifier Elimination (QE) technology for automated reasoning in economics. There is a great body of work considering QE applications in science and engineering but we demonstrate here that it also has use in the social sciences. We explain how many suggested theorems in economics could either be proven, or even have their hypotheses shown to be inconsistent, automatically via QE. However, economists who this technology could benefit are usually unfamiliar with QE, and the use of mathematical software generally. This motivated the development of a Mathematica Package TheoryGuru, whose purpose is to lower the costs of applying QE to economics. We describe the package's functionality and give examples of its use.Comment: To appear in Proc ICMS 201

Bronchopulmonary Dysplasia: Executive Summary of a Workshop

Comment in Bronchopulmonary Dysplasia: The Ongoing Search for One Definition to Rule Them All. [J Pediatr. 2018] Midlife crisis? In its 50th year, BPD redefines itself. [J Pediatr. 2018

Clinical Trial Design - Effect of Prone Positioning on Clinical Outcomes in Infants and Children With Acute Respiratory Distress Syndrome

Purpose This paper describes the methodology of a clinical trial of prone positioning in pediatric patients with acute lung injury (ALI). Nonrandomized studies suggest that prone positioning improves oxygenation in patients with ALI/acute respiratory distress syndrome without the risk of serious iatrogenic injury. It is not known if these improvements in oxygenation result in improvements in clinical outcomes. A clinical trial was needed to answer this question. Materials and Methods The pediatric prone study is a multicenter, randomized, noncrossover, controlled clinical trial. The trial is designed to test the hypothesis that at the end of 28 days, children with ALI treated with prone positioning will have more ventilator-free days than children treated with supine positioning. Secondary end points include the time to recovery of lung injury, organ failure–free days, functional outcome, adverse events, and mortality from all causes. Pediatric patients, 42 weeks postconceptual age to 18 years of age, are enrolled within 48 hours of meeting ALI criteria. Patients randomized to the prone group are positioned prone within 4 hours of randomization and remain prone for 20 hours each day during the acute phase of their illness for a maximum of 7 days. Both groups are managed according to ventilator protocol, extubation readiness testing, and sedation protocols and hemodynamic, nutrition, and skin care guidelines. Conclusions This paper describes the process, multidisciplinary input, and procedures used to support the design of the clinical trial, as well as the challenges faced by the clinical scientists during the conduct of the clinical trial

Effects of Perfluorocarbons on surfactant exocytosis and membrane properties in isolated alveolar type II cells

<p>Abstract</p> <p>Background</p> <p>Perfluorocarbons (PFC) are used to improve gas exchange in diseased lungs. PFC have been shown to affect various cell types. Thus, effects on alveolar type II (ATII) cells and surfactant metabolism can be expected, data, however, are controversial.</p> <p>Objective</p> <p>The study was performed to test two hypotheses: (I) the effects of PFC on surfactant exocytosis depend on their respective vapor pressures; (II) different pathways of surfactant exocytosis are affected differently by PFC.</p> <p>Methods</p> <p>Isolated ATII cells were exposed to two PFC with different vapor pressures and spontaneous surfactant exocytosis was measured. Furthermore, surfactant exocytosis was stimulated by either ATP, PMA or Ionomycin. The effects of PFC on cell morphology, cellular viability, endocytosis, membrane permeability and fluidity were determined.</p> <p>Results</p> <p>The spontaneous exocytosis was reduced by PFC, however, the ATP and PMA stimulated exocytosis was slightly increased by PFC with high vapor pressure. In contrast, Ionomycin-induced exocytosis was decreased by PFC with low vapor pressure. Cellular uptake of FM 1-43 - a marker of membrane integrity - was increased. However, membrane fluidity, endocytosis and viability were not affected by PFC incubation.</p> <p>Conclusions</p> <p>We conclude that PFC effects can be explained by modest, unspecific interactions with the plasma membrane rather than by specific interactions with intracellular targets.</p

Neuroprotective Effect of Inhaled Nitric Oxide on Excitotoxic-Induced Brain Damage in Neonatal Rat

BACKGROUND: Inhaled nitric oxide (iNO) is one of the most promising therapies used in neonates. However, little information is known about its impact on the developing brain submitted to excitotoxic challenge. METHODOLOGY/PRINCIPAL FINDINGS: We investigated here the effect of iNO in a neonatal model of excitotoxic brain lesions. Rat pups and their dams were placed in a chamber containing 20 ppm NO during the first week of life. At postnatal day (P)5, rat pups were submitted to intracranial injection of glutamate agonists. At P10, rat pups exposed to iNO exhibited a significant decrease of lesion size in both the white matter and cortical plate compared to controls. Microglia activation and astrogliosis were found significantly decreased in NO-exposed animals. This neuroprotective effect was associated with a significant decrease of several glutamate receptor subunits expression at P5. iNO was associated with an early (P1) downregulation of pCREB/pAkt expression and induced an increase in pAkt protein concentration in response to excitotoxic challenge (P7). CONCLUSION: This study is the first describe and investigate the neuroprotective effect of iNO in neonatal excitotoxic-induced brain damage. This effect may be mediated through CREB pathway and subsequent modulation of glutamate receptor subunits expression

Microbial and Chemical Characterization of Underwater Fresh Water Springs in the Dead Sea

Due to its extreme salinity and high Mg concentration the Dead Sea is characterized by a very low density of cells most of which are Archaea. We discovered several underwater fresh to brackish water springs in the Dead Sea harboring dense microbial communities. We provide the first characterization of these communities, discuss their possible origin, hydrochemical environment, energetic resources and the putative biogeochemical pathways they are mediating. Pyrosequencing of the 16S rRNA gene and community fingerprinting methods showed that the spring community originates from the Dead Sea sediments and not from the aquifer. Furthermore, it suggested that there is a dense Archaeal community in the shoreline pore water of the lake. Sequences of bacterial sulfate reducers, nitrifiers iron oxidizers and iron reducers were identified as well. Analysis of white and green biofilms suggested that sulfide oxidation through chemolitotrophy and phototrophy is highly significant. Hyperspectral analysis showed a tight association between abundant green sulfur bacteria and cyanobacteria in the green biofilms. Together, our findings show that the Dead Sea floor harbors diverse microbial communities, part of which is not known from other hypersaline environments. Analysis of the water’s chemistry shows evidence of microbial activity along the path and suggests that the springs supply nitrogen, phosphorus and organic matter to the microbial communities in the Dead Sea. The underwater springs are a newly recognized water source for the Dead Sea. Their input of microorganisms and nutrients needs to be considered in the assessment of possible impact of dilution events of the lake surface waters, such as those that will occur in the future due to the intended establishment of the Red Sea−Dead Sea water conduit

The american pediatric society and society for pediatric research joint statement against racism and social injustice

Although the coronavirus disease 2019 pandemic has served as a flashlight, illuminating and unmasking deep socio-economic and health care divides in our country, the terrible events surrounding the horrific murder of Mr. George Floyd in Minneapolis has spawned even greater outrage. As we all know, Mr. Floyd’s death is not an isolated incident, as there have been a tragic string of such deaths in recent years that further reflect deep issues regarding racism and systemic underlying causes of injustice. Unfortunately, the country’s inability to fully address these systemic foundations of injustice persists